[next] [prev] [prev-tail] [tail] [up]

2.2.9 Integrals 801 to 900

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 801

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

108 115 75 238 0 139 0 0 0

N.S.

1 1.06 0.69 2.20 0.00 1.29 0.00 0.00 0.00

time (sec)

N/A 0.494 0.153 5.516 0.000 0.104 0.000 0.000 0.000

Problem 802

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

80 84 55 161 0 119 0 0 0

N.S.

1 1.05 0.69 2.01 0.00 1.49 0.00 0.00 0.00

time (sec)

N/A 0.436 0.136 4.773 0.000 0.110 0.000 0.000 0.000

Problem 803

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

105 117 73 215 0 170 0 0 0

N.S.

1 1.11 0.70 2.05 0.00 1.62 0.00 0.00 0.00

time (sec)

N/A 0.565 0.406 5.150 0.000 0.098 0.000 0.000 0.000

Problem 804

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

136 152 85 403 0 189 0 0 0

N.S.

1 1.12 0.62 2.96 0.00 1.39 0.00 0.00 0.00

time (sec)

N/A 0.629 0.413 6.514 0.000 0.108 0.000 0.000 0.000

Problem 805

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

169 188 107 576 0 202 0 0 0

N.S.

1 1.11 0.63 3.41 0.00 1.20 0.00 0.00 0.00

time (sec)

N/A 0.787 0.615 8.326 0.000 0.110 0.000 0.000 0.000

Problem 806

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

169 186 103 301 0 165 0 0 0

N.S.

1 1.10 0.61 1.78 0.00 0.98 0.00 0.00 0.00

time (sec)

N/A 0.745 0.457 8.392 0.000 0.111 0.000 0.000 0.000

Problem 807

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

140 148 88 273 0 153 0 0 0

N.S.

1 1.06 0.63 1.95 0.00 1.09 0.00 0.00 0.00

time (sec)

N/A 0.550 0.101 6.963 0.000 0.116 0.000 0.000 0.000

Problem 808

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

112 117 76 240 0 140 0 0 0

N.S.

1 1.04 0.68 2.14 0.00 1.25 0.00 0.00 0.00

time (sec)

N/A 0.554 0.054 5.895 0.000 0.112 0.000 0.000 0.000

Problem 809

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

83 86 57 163 0 119 0 0 0

N.S.

1 1.04 0.69 1.96 0.00 1.43 0.00 0.00 0.00

time (sec)

N/A 0.462 0.045 5.002 0.000 0.111 0.000 0.000 0.000

Problem 810

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

110 117 73 217 0 171 0 0 0

N.S.

1 1.06 0.66 1.97 0.00 1.55 0.00 0.00 0.00

time (sec)

N/A 0.573 0.461 5.147 0.000 0.122 0.000 0.000 0.000

Problem 811

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

141 152 87 404 0 192 0 0 0

N.S.

1 1.08 0.62 2.87 0.00 1.36 0.00 0.00 0.00

time (sec)

N/A 0.630 0.342 6.386 0.000 0.119 0.000 0.000 0.000

Problem 812

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

174 188 107 577 0 205 0 0 0

N.S.

1 1.08 0.61 3.32 0.00 1.18 0.00 0.00 0.00

time (sec)

N/A 0.775 0.550 8.298 0.000 0.108 0.000 0.000 0.000

Problem 813

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

171 182 100 301 0 171 0 0 0

N.S.

1 1.06 0.58 1.76 0.00 1.00 0.00 0.00 0.00

time (sec)

N/A 0.692 0.107 9.010 0.000 0.127 0.000 0.000 0.000

Problem 814

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

145 150 89 273 0 157 0 0 0

N.S.

1 1.03 0.61 1.88 0.00 1.08 0.00 0.00 0.00

time (sec)

N/A 0.617 0.146 8.884 0.000 0.117 0.000 0.000 0.000

Problem 815

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

116 119 78 240 0 142 0 0 0

N.S.

1 1.03 0.67 2.07 0.00 1.22 0.00 0.00 0.00

time (sec)

N/A 0.566 0.056 15.668 0.000 0.117 0.000 0.000 0.000

Problem 816

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

85 86 54 163 0 119 0 0 0

N.S.

1 1.01 0.64 1.92 0.00 1.40 0.00 0.00 0.00

time (sec)

N/A 0.459 0.391 53.232 0.000 0.111 0.000 0.000 0.000

Problem 817

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

112 117 73 217 0 173 0 0 0

N.S.

1 1.04 0.65 1.94 0.00 1.54 0.00 0.00 0.00

time (sec)

N/A 0.568 0.371 158.889 0.000 0.106 0.000 0.000 0.000

Problem 818

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

143 152 87 406 0 196 0 0 0

N.S.

1 1.06 0.61 2.84 0.00 1.37 0.00 0.00 0.00

time (sec)

N/A 0.628 0.376 2.429 0.000 0.117 0.000 0.000 0.000

Problem 819

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

176 188 102 579 0 211 0 0 0

N.S.

1 1.07 0.58 3.29 0.00 1.20 0.00 0.00 0.00

time (sec)

N/A 0.790 0.665 3.174 0.000 0.115 0.000 0.000 0.000

Problem 820

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

173 186 101 298 0 165 0 0 0

N.S.

1 1.08 0.58 1.72 0.00 0.95 0.00 0.00 0.00

time (sec)

N/A 0.722 0.667 7.524 0.000 0.120 0.000 0.000 0.000

Problem 821

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

144 152 88 270 0 154 0 0 0

N.S.

1 1.06 0.61 1.88 0.00 1.07 0.00 0.00 0.00

time (sec)

N/A 0.611 0.413 6.289 0.000 0.105 0.000 0.000 0.000

Problem 822

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

113 119 78 237 0 142 0 0 94

N.S.

1 1.05 0.69 2.10 0.00 1.26 0.00 0.00 0.83

time (sec)

N/A 0.548 0.067 5.129 0.000 0.110 0.000 0.000 0.290

Problem 823

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

82 82 54 160 0 122 0 0 48

N.S.

1 1.00 0.66 1.95 0.00 1.49 0.00 0.00 0.59

time (sec)

N/A 0.395 0.037 3.629 0.000 0.094 0.000 0.000 0.347

Problem 824

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

106 115 73 214 0 173 0 0 0

N.S.

1 1.08 0.69 2.02 0.00 1.63 0.00 0.00 0.00

time (sec)

N/A 0.549 0.286 5.145 0.000 0.115 0.000 0.000 0.000

Problem 825

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

135 152 84 406 0 192 0 0 0

N.S.

1 1.13 0.62 3.01 0.00 1.42 0.00 0.00 0.00

time (sec)

N/A 0.635 0.239 6.363 0.000 0.099 0.000 0.000 0.000

Problem 826

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

168 188 101 579 0 205 0 0 0

N.S.

1 1.12 0.60 3.45 0.00 1.22 0.00 0.00 0.00

time (sec)

N/A 0.765 0.409 8.488 0.000 0.105 0.000 0.000 0.000

Problem 827

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

176 186 104 301 0 165 0 0 0

N.S.

1 1.06 0.59 1.71 0.00 0.94 0.00 0.00 0.00

time (sec)

N/A 0.750 0.626 8.567 0.000 0.123 0.000 0.000 0.000

Problem 828

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

147 152 88 273 0 154 0 0 0

N.S.

1 1.03 0.60 1.86 0.00 1.05 0.00 0.00 0.00

time (sec)

N/A 0.612 0.639 6.761 0.000 0.109 0.000 0.000 0.000

Problem 829

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

116 119 75 240 0 142 0 0 0

N.S.

1 1.03 0.65 2.07 0.00 1.22 0.00 0.00 0.00

time (sec)

N/A 0.540 0.406 5.583 0.000 0.109 0.000 0.000 0.000

Problem 830

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

85 86 57 163 0 122 0 0 0

N.S.

1 1.01 0.67 1.92 0.00 1.44 0.00 0.00 0.00

time (sec)

N/A 0.435 0.040 4.540 0.000 0.102 0.000 0.000 0.000

Problem 831

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

112 113 76 217 0 173 0 0 0

N.S.

1 1.01 0.68 1.94 0.00 1.54 0.00 0.00 0.00

time (sec)

N/A 0.516 0.141 4.831 0.000 0.105 0.000 0.000 0.000

Problem 832

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

140 150 87 406 0 192 0 0 0

N.S.

1 1.07 0.62 2.90 0.00 1.37 0.00 0.00 0.00

time (sec)

N/A 0.609 0.117 6.595 0.000 0.101 0.000 0.000 0.000

Problem 833

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

171 188 104 579 0 205 0 0 0

N.S.

1 1.10 0.61 3.39 0.00 1.20 0.00 0.00 0.00

time (sec)

N/A 0.790 0.239 8.145 0.000 0.118 0.000 0.000 0.000

Problem 834

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

176 186 104 301 0 165 0 0 0

N.S.

1 1.06 0.59 1.71 0.00 0.94 0.00 0.00 0.00

time (sec)

N/A 0.733 0.884 8.294 0.000 0.119 0.000 0.000 0.000

Problem 835

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

147 152 91 273 0 154 0 0 0

N.S.

1 1.03 0.62 1.86 0.00 1.05 0.00 0.00 0.00

time (sec)

N/A 0.593 0.633 7.046 0.000 0.122 0.000 0.000 0.000

Problem 836

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

116 119 78 240 0 142 0 0 0

N.S.

1 1.03 0.67 2.07 0.00 1.22 0.00 0.00 0.00

time (sec)

N/A 0.548 0.465 5.699 0.000 0.107 0.000 0.000 0.000

Problem 837

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

85 86 57 163 0 122 0 0 0

N.S.

1 1.01 0.67 1.92 0.00 1.44 0.00 0.00 0.00

time (sec)

N/A 0.424 0.038 4.594 0.000 0.117 0.000 0.000 0.000

Problem 838

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

112 117 76 217 0 173 0 0 0

N.S.

1 1.04 0.68 1.94 0.00 1.54 0.00 0.00 0.00

time (sec)

N/A 0.553 0.059 4.664 0.000 0.103 0.000 0.000 0.000

Problem 839

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

143 148 87 406 0 192 0 0 0

N.S.

1 1.03 0.61 2.84 0.00 1.34 0.00 0.00 0.00

time (sec)

N/A 0.567 0.097 6.412 0.000 0.109 0.000 0.000 0.000

Problem 840

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

173 186 104 579 0 205 0 0 0

N.S.

1 1.08 0.60 3.35 0.00 1.18 0.00 0.00 0.00

time (sec)

N/A 0.758 0.098 8.424 0.000 0.116 0.000 0.000 0.000

Problem 841

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

176 184 104 579 0 205 0 0 0

N.S.

1 1.05 0.59 3.29 0.00 1.16 0.00 0.00 0.00

time (sec)

N/A 0.686 0.036 8.385 0.000 0.118 0.000 0.000 0.000

Problem 842

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

172 104 81 91 93 252 0 278 105

N.S.

1 0.60 0.47 0.53 0.54 1.47 0.00 1.62 0.61

time (sec)

N/A 0.452 0.404 5.223 0.481 0.363 0.000 3.404 16.238

Problem 843

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

136 78 69 74 68 230 202 194 92

N.S.

1 0.57 0.51 0.54 0.50 1.69 1.49 1.43 0.68

time (sec)

N/A 0.389 0.281 4.900 0.417 0.326 81.203 2.583 16.086

Problem 844

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

98 61 57 55 40 204 165 142 79

N.S.

1 0.62 0.58 0.56 0.41 2.08 1.68 1.45 0.81

time (sec)

N/A 0.247 0.224 5.025 0.410 0.343 2.901 1.878 14.954

Problem 845

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

59 38 42 39 40 181 80 0 35

N.S.

1 0.64 0.71 0.66 0.68 3.07 1.36 0.00 0.59

time (sec)

N/A 0.200 0.036 4.966 0.368 0.341 1.354 0.000 0.319

Problem 846

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

60 39 40 52 92 210 0 0 0

N.S.

1 0.65 0.67 0.87 1.53 3.50 0.00 0.00 0.00

time (sec)

N/A 0.306 0.026 4.677 0.375 0.357 0.000 0.000 0.000

Problem 847

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

68 47 50 57 120 205 0 0 0

N.S.

1 0.69 0.74 0.84 1.76 3.01 0.00 0.00 0.00

time (sec)

N/A 0.360 0.037 5.058 0.421 0.333 0.000 0.000 0.000

Problem 848

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

107 71 65 103 716 225 0 0 0

N.S.

1 0.66 0.61 0.96 6.69 2.10 0.00 0.00 0.00

time (sec)

N/A 0.453 0.084 5.139 0.617 0.339 0.000 0.000 0.000

Problem 849

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

145 87 76 122 957 253 0 0 0

N.S.

1 0.60 0.52 0.84 6.60 1.74 0.00 0.00 0.00

time (sec)

N/A 0.486 0.222 4.929 0.719 0.328 0.000 0.000 0.000

Problem 850

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

177 105 81 92 100 261 0 279 106

N.S.

1 0.59 0.46 0.52 0.56 1.47 0.00 1.58 0.60

time (sec)

N/A 0.470 0.365 5.076 0.466 0.351 0.000 3.459 16.238

Problem 851

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

140 79 69 75 74 237 0 195 93

N.S.

1 0.56 0.49 0.54 0.53 1.69 0.00 1.39 0.66

time (sec)

N/A 0.378 0.231 5.034 0.447 0.351 0.000 2.590 1.226

Problem 852

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

101 62 58 56 43 209 151 0 50

N.S.

1 0.61 0.57 0.55 0.43 2.07 1.50 0.00 0.50

time (sec)

N/A 0.245 0.033 4.899 0.443 0.320 31.582 0.000 0.549

Problem 853

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

61 39 42 40 40 184 80 0 36

N.S.

1 0.64 0.69 0.66 0.66 3.02 1.31 0.00 0.59

time (sec)

N/A 0.188 0.048 5.104 0.364 0.341 31.981 0.000 14.774

Problem 854

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

62 40 40 53 95 212 0 0 0

N.S.

1 0.65 0.65 0.85 1.53 3.42 0.00 0.00 0.00

time (sec)

N/A 0.291 0.031 4.959 0.439 0.383 0.000 0.000 0.000

Problem 855

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

70 48 50 58 123 208 0 0 0

N.S.

1 0.69 0.71 0.83 1.76 2.97 0.00 0.00 0.00

time (sec)

N/A 0.356 0.043 4.567 0.547 0.358 0.000 0.000 0.000

Problem 856

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

110 72 65 104 747 232 0 0 0

N.S.

1 0.65 0.59 0.95 6.79 2.11 0.00 0.00 0.00

time (sec)

N/A 0.447 0.079 4.993 0.548 0.371 0.000 0.000 0.000

Problem 857

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

149 88 77 123 992 260 0 0 0

N.S.

1 0.59 0.52 0.83 6.66 1.74 0.00 0.00 0.00

time (sec)

N/A 0.470 0.013 5.112 0.538 0.346 0.000 0.000 0.000

Problem 858

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

187 107 81 94 110 279 0 278 108

N.S.

1 0.57 0.43 0.50 0.59 1.49 0.00 1.49 0.58

time (sec)

N/A 0.462 0.396 5.095 0.510 0.357 0.000 3.702 15.839

Problem 859

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

148 81 69 77 82 251 0 0 64

N.S.

1 0.55 0.47 0.52 0.55 1.70 0.00 0.00 0.43

time (sec)

N/A 0.389 0.994 5.217 0.484 0.347 0.000 0.000 0.763

Problem 860

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

107 64 57 58 47 219 0 0 52

N.S.

1 0.60 0.53 0.54 0.44 2.05 0.00 0.00 0.49

time (sec)

N/A 0.242 0.268 5.108 0.471 0.343 0.000 0.000 14.910

Problem 861

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

65 41 42 42 40 190 0 0 38

N.S.

1 0.63 0.65 0.65 0.62 2.92 0.00 0.00 0.58

time (sec)

N/A 0.198 0.059 4.914 0.445 0.318 0.000 0.000 0.373

Problem 862

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

66 42 40 55 99 216 0 0 0

N.S.

1 0.64 0.61 0.83 1.50 3.27 0.00 0.00 0.00

time (sec)

N/A 0.327 0.049 4.920 0.402 0.360 0.000 0.000 0.000

Problem 863

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

74 50 50 60 127 214 0 0 0

N.S.

1 0.68 0.68 0.81 1.72 2.89 0.00 0.00 0.00

time (sec)

N/A 0.364 0.060 4.875 0.488 0.328 0.000 0.000 0.000

Problem 864

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

116 74 65 106 803 242 0 0 0

N.S.

1 0.64 0.56 0.91 6.92 2.09 0.00 0.00 0.00

time (sec)

N/A 0.453 0.109 4.719 0.440 0.340 0.000 0.000 0.000

Problem 865

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

157 90 76 125 1060 274 0 0 0

N.S.

1 0.57 0.48 0.80 6.75 1.75 0.00 0.00 0.00

time (sec)

N/A 0.496 0.222 5.031 0.443 0.367 0.000 0.000 0.000

Problem 866

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

136 78 69 74 68 236 0 0 95

N.S.

1 0.57 0.51 0.54 0.50 1.74 0.00 0.00 0.70

time (sec)

N/A 0.369 0.418 5.041 0.430 0.348 0.000 0.000 16.110

Problem 867

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

98 61 57 55 40 210 151 0 82

N.S.

1 0.62 0.58 0.56 0.41 2.14 1.54 0.00 0.84

time (sec)

N/A 0.240 0.350 4.762 0.415 0.313 36.742 0.000 0.902

Problem 868

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

59 38 42 39 40 187 80 0 61

N.S.

1 0.64 0.71 0.66 0.68 3.17 1.36 0.00 1.03

time (sec)

N/A 0.186 0.033 5.020 0.395 0.338 1.431 0.000 0.593

Problem 869

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

60 39 40 52 92 215 0 0 0

N.S.

1 0.65 0.67 0.87 1.53 3.58 0.00 0.00 0.00

time (sec)

N/A 0.295 0.027 4.914 0.413 0.368 0.000 0.000 0.000

Problem 870

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

68 47 50 57 125 211 0 0 0

N.S.

1 0.69 0.74 0.84 1.84 3.10 0.00 0.00 0.00

time (sec)

N/A 0.356 0.034 5.027 0.419 0.331 0.000 0.000 0.000

Problem 871

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

107 71 65 103 722 231 0 0 0

N.S.

1 0.66 0.61 0.96 6.75 2.16 0.00 0.00 0.00

time (sec)

N/A 0.455 0.060 5.033 0.421 0.344 0.000 0.000 0.000

Problem 872

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

145 87 76 122 957 259 0 0 0

N.S.

1 0.60 0.52 0.84 6.60 1.79 0.00 0.00 0.00

time (sec)

N/A 0.473 0.113 5.042 0.424 0.343 0.000 0.000 0.000

Problem 873

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

148 81 69 77 68 236 0 0 95

N.S.

1 0.55 0.47 0.52 0.46 1.59 0.00 0.00 0.64

time (sec)

N/A 0.382 0.505 5.014 0.417 0.368 0.000 0.000 15.809

Problem 874

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

107 64 57 58 40 210 0 0 82

N.S.

1 0.60 0.53 0.54 0.37 1.96 0.00 0.00 0.77

time (sec)

N/A 0.240 0.346 4.952 0.415 0.335 0.000 0.000 0.829

Problem 875

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

65 41 42 42 40 187 80 0 61

N.S.

1 0.63 0.65 0.65 0.62 2.88 1.23 0.00 0.94

time (sec)

N/A 0.194 0.043 4.902 0.371 0.346 36.756 0.000 0.510

Problem 876

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

66 42 40 55 92 215 0 0 0

N.S.

1 0.64 0.61 0.83 1.39 3.26 0.00 0.00 0.00

time (sec)

N/A 0.286 0.032 5.212 0.384 0.377 0.000 0.000 0.000

Problem 877

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

74 50 50 60 133 211 0 0 0

N.S.

1 0.68 0.68 0.81 1.80 2.85 0.00 0.00 0.00

time (sec)

N/A 0.361 0.042 5.048 0.409 0.333 0.000 0.000 0.000

Problem 878

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

116 74 65 106 739 231 0 0 0

N.S.

1 0.64 0.56 0.91 6.37 1.99 0.00 0.00 0.00

time (sec)

N/A 0.451 0.060 4.837 0.443 0.349 0.000 0.000 0.000

Problem 879

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

157 90 76 125 983 259 0 0 0

N.S.

1 0.57 0.48 0.80 6.26 1.65 0.00 0.00 0.00

time (sec)

N/A 0.487 0.118 5.118 0.439 0.330 0.000 0.000 0.000

Problem 880

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

148 81 72 77 68 236 0 0 95

N.S.

1 0.55 0.49 0.52 0.46 1.59 0.00 0.00 0.64

time (sec)

N/A 0.384 0.775 5.200 0.422 0.369 0.000 0.000 16.106

Problem 881

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

107 64 60 58 40 210 0 0 82

N.S.

1 0.60 0.56 0.54 0.37 1.96 0.00 0.00 0.77

time (sec)

N/A 0.242 0.463 4.760 0.411 0.370 0.000 0.000 0.742

Problem 882

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

65 41 45 42 40 187 0 0 61

N.S.

1 0.63 0.69 0.65 0.62 2.88 0.00 0.00 0.94

time (sec)

N/A 0.199 0.040 4.957 0.362 0.325 0.000 0.000 0.521

Problem 883

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

66 42 43 55 92 215 0 0 0

N.S.

1 0.64 0.65 0.83 1.39 3.26 0.00 0.00 0.00

time (sec)

N/A 0.307 0.034 4.964 0.386 0.396 0.000 0.000 0.000

Problem 884

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

74 50 50 60 133 211 0 0 0

N.S.

1 0.68 0.68 0.81 1.80 2.85 0.00 0.00 0.00

time (sec)

N/A 0.367 0.042 5.105 0.418 0.356 0.000 0.000 0.000

Problem 885

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

116 74 65 106 757 231 0 0 0

N.S.

1 0.64 0.56 0.91 6.53 1.99 0.00 0.00 0.00

time (sec)

N/A 0.463 0.069 5.110 0.444 0.389 0.000 0.000 0.000

Problem 886

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

157 90 76 125 1033 259 0 0 0

N.S.

1 0.57 0.48 0.80 6.58 1.65 0.00 0.00 0.00

time (sec)

N/A 0.487 0.141 5.222 0.434 0.338 0.000 0.000 0.000

Problem 887

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

119 123 94 0 0 0 0 0 0

N.S.

1 1.03 0.79 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.374 0.143 0.000 0.000 0.000 0.000 0.000 0.000

Problem 888

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

119 123 89 0 0 0 0 0 0

N.S.

1 1.03 0.75 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.370 0.097 0.000 0.000 0.000 0.000 0.000 0.000

Problem 889

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

119 119 86 0 0 0 0 0 0

N.S.

1 1.00 0.72 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.314 0.056 0.000 0.000 0.000 0.000 0.000 0.000

Problem 890

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

114 119 86 0 0 0 0 0 0

N.S.

1 1.04 0.75 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.360 0.068 0.000 0.000 0.000 0.000 0.000 0.000

Problem 891

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

112 121 86 0 0 0 0 0 0

N.S.

1 1.08 0.77 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.377 0.090 0.000 0.000 0.000 0.000 0.000 0.000

Problem 892

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

117 123 94 0 0 0 0 0 0

N.S.

1 1.05 0.80 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.389 0.065 0.000 0.000 0.000 0.000 0.000 0.000

Problem 893

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

119 123 94 0 0 0 0 0 0

N.S.

1 1.03 0.79 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.394 0.141 0.000 0.000 0.000 0.000 0.000 0.000

Problem 894

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

119 123 89 0 0 0 0 0 0

N.S.

1 1.03 0.75 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.342 0.126 0.000 0.000 0.000 0.000 0.000 0.000

Problem 895

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

119 119 86 0 0 0 0 0 0

N.S.

1 1.00 0.72 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.307 0.005 0.000 0.000 0.000 0.000 0.000 0.000

Problem 896

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

116 121 87 0 0 0 0 0 0

N.S.

1 1.04 0.75 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.359 0.005 0.000 0.000 0.000 0.000 0.000 0.000

Problem 897

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

112 121 88 0 0 0 0 0 0

N.S.

1 1.08 0.79 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.378 0.011 0.000 0.000 0.000 0.000 0.000 0.000

Problem 898

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

115 121 88 0 0 0 0 0 0

N.S.

1 1.05 0.77 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.380 0.080 0.000 0.000 0.000 0.000 0.000 0.000

Problem 899

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

119 123 94 0 0 0 0 0 0

N.S.

1 1.03 0.79 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.350 0.128 0.000 0.000 0.000 0.000 0.000 0.000

Problem 900

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

119 123 89 0 0 0 0 0 0

N.S.

1 1.03 0.75 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.341 0.009 0.000 0.000 0.000 0.000 0.000 0.000

[next] [prev] [prev-tail] [front] [up]